<?php
do {
    ;
    ;
} while ($a)